41. Handbook of quantum logic and quantum structures: quantum logic
المؤلف: edited by Kurt Engesser, Dov M. Gabbay, Daniel Lehmann
المکتبة: (سمنان)
موضوع: ، Quantum logic
رده :
QC
174
.
17
.
H35
2009
42. Handbook of the history of logic
المؤلف: edited by Dov M. Gabbay and John Woods
المکتبة: (طهران)
موضوع: History ، Logic
رده :
BC
15
.
H264
43. Handbook of the history of logic
المؤلف: / edited by Dov M. Gabbay and John Woods
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic--History
رده :
BC
,
15
,.
H36
,
2004
44. Handbook of the history of logic
المؤلف: / edited by Dov M. Gabbay and John Woods
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic--History
رده :
BC
,
15
,.
H36
,
2004
45. Handbook of the history of logic
المؤلف: / edited by Dov M. Gabbay and John Woods
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic--History
رده :
BC
,
15
,.
H36
,
2004
46. Handbook of the history of logic
المؤلف: / edited by Dov M. Gabbay and John Woods
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic--History
رده :
BC
,
15
,.
H36
,
2004
47. Handbook of the history of logic
المؤلف: edited by Dov M. Gabbay and John Woods
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Logic, History
رده :
BC
.
H36
15
2004
48. Handbook of the history of logic
المؤلف: edited by Dov M. Gabbay, Stephan Hartmann and John Woods
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: History ، Logic
رده :
BC
15
.
H36
2011
49. Handbook of the history of logic
المؤلف: / edited by Dov M. Gabbay and John Woods
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic--History
رده :
BC
,
15
,.
H36
,
2004
50. Interpolation and definability
المؤلف: Gabbay, Dov M., 5491-
المکتبة: (طهران)
موضوع: ، Interpolation,، Modality )Logic(,، Definability theory )Mathematical logic(
رده :
QA
281
.
G28I5
51. Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
المؤلف: by Dov M. Gabbay.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
رده :
BC199
.
M6
B936
1976
52. Investigations in modal and tense logics with applications to problems in philosophy and linguistics
المؤلف: Gabbay, Dov M.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Modality )Logic(,، Semantics )Philosophy(,، Grammar, Comparative and general
رده :
BC
199
.
M6
.
G3
53. Investigations in modal and tense logics with applications to problems in philosophy and linguistics
المؤلف: Gabbay, Dov M., 5491-
المکتبة: (طهران)
موضوع: ، Modality )Logic(,، Semantics )Philosophy(,، Grammar, Comparative and general
رده :
BC
199
.
M6G22
54. Labelled Deduction
المؤلف: edited by David Basin, Marcello D'Agostino, Dov M. Gabbay, Seán Matthews, Luca Viganò.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Logic.,Philosophy (General)
55. Logical tools for handling change in agent-based systems
المؤلف: Dov M. Gabbay, Karl Schlechta
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Intelligent agents (Computer software),Logic, Symbolic and mathematical,Nonmonotonic reasoning
رده :
Q310
.
G33
2010eb
56. Mathematical problems from applied logic
المؤلف: / edited by Dov M. Gabbay, Sergi S. Goncharov and Michael Zakharyaschev
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical.
رده :
QA9
,.
M346
,
2006
57. Mathematical problems from applied logic I :
المؤلف: edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.
رده :
QA9
.
A1
M38
2006eb
58. Mathematical problems from applied logic : logics for the XXIst century
المؤلف: edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
M28
59. Neural-symbolic cognitive reasonin
المؤلف: / Artur S. d'Avila Garcez, Luais C. Lamb, Dov M. Gabbay
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Neural networks (Computer science),Artificial intelligence.
رده :
QA
,
76
.
87
,.
D39
,
2009
60. Philosophy of Complex Systems
المؤلف: / Gabbay, Dov M.
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
